SMOOTHNESS OF INERTIAL MANIFOLD UNDER TIME DISCRETIZATION

0IntroductionInertialmanifolds(IM)arenewobjectsthathavebeenintroducedinrelationwiththestudyoflargetimebehaviorofnonlineardissipativePDE,see[1].In[2],theyareextendedtodiscretizeddynamicsstemmingfromdissipativePDE.Frommathematicalpointofview,thesearesmootllfiniteLipschitzmanifoldsthatareinviantbytheflowofassociatedsolutions,andattractallthetrajectorieswithexponentialspeed,see[1].Fromphysicalpointofview,IMmodeltheinteractionlawsbetweensmallandlargestructureofaturbulentflow,andrepresentsitspe…     

具有易损坏储备部件复杂可修系统解的半离散化

讨论了易损坏部件对系统的影响,且故障系统的修复时间是任意分布的.并对修复率μi(x)用初等阶梯函数进行逼近,给出了系统的半离散化模型,为进一步的数值计算打下基础.     

带导数记忆项抛物型积分微分方程分数次欧拉时间离散

我们研究一类带导数记忆项抛物型偏积分微分方程欧拉时间离散，记忆项通过Ｌｕｂｉｃｈ建议的分数次卷积求积逼近。使用谱表示技术导出最优阶误差估计。     

Stabilized approximations of strongly continuous semigroups

This paper introduces stabilization techniques for intrinsically unstable, high accuracy rational approximation methods for strongly continuous semigroup. The methods not only stabilize the approximations, but improve their speed of convergence by a magnitude of up to 1/2.     

The boundary integral equation method for the solution of wave-obstacle interaction

The boundary integral equation method constitutes the basis of a number of computer programs used for the solution of wave-obstacle interaction problems. For the case of obstacles in a constant depth fluid, the method assumes that the velocity potential at any point in the fluid may be represented by a distribution of Green's function sources over the immersed surface of the obstacle. Application of the obstacle kinematic boundary condition gives rise to an integral equation which may be solved, using numerical discretization, for the unknown source strength distribution function. Subsequent evaluation of the discretized velocity potential permits evaluation of the hydrodynamic interaction parameters. A series of numerical solutions have been carried out for a range of substantially rectangular obstacles, in a two-dimensional domain, using varying levels of immersed profile discretization. The results, presented in the form of fixed and floating mode wave reflection and transmission, together with the motion response of the floating obstacle, demonstrate the significant sensitivity of the evaluated parameters to variations in the level of discretization.     

HIGH RESOLUTION SCHEMES FOR CONSERVATION LAWS AND CONVECTION-DIFFUSION EQUATIONS WITH VARYING TIME AND SPACE GRIDS

This paper presents a class of high resolution local time step schemes for nonlinear hyperbolic conservation laws and the closely related convection-diffusion equations, by projecting the solution increments of the underlying partial differential equations （PDE） at each local time step. The main advantages are that they are of good consistency, and it is convenient to implement them. The schemes are L^∞ stable, satisfy a cell entropy inequality, and may be extended to the initial boundary value problem of general unsteady PDEs with higher-order spatial derivatives. The high resolution schemes are given by combining the reconstruction technique with a second order TVD Runge-Kutta scheme or a Lax-Wendroff type method, respectively. The schemes are used to solve a linear convection-diffusion equation, the nonlinear inviscid Burgers＇ equation, the one- and two-dimensional compressible Euler equations, and the two-dimensional incompressible Navier-Stokes equations. The numerical results show that the schemes are of higher-order accuracy, and efficient in saving computational cost, especially, for the case of combining the present schemes with the adaptive mesh method [15]. The correct locations of the slow moving or stronger discontinuities are also obtained, although the schemes are slightly nonconservative.     

在有限差分法下一类抛物型方程的离散化

本文对于一类带有狄拉克函数δ０初值的抛物型方程，在有限差分法下进行离散化，证明了其数值解的存在性、唯一性，尤其是它的稳定性．     

Approximate Gradient Projection Method with Runge-Kutta Schemes for Optimal Control Problems

We consider an optimal control problem for systems governed by ordinary differential equations with control constraints. The state equation is discretized by the explicit fourth order Runge-Kutta scheme and the controls are approximated by discontinuous piecewise affine ones. We then propose an approximate gradient projection method that generates sequences of discrete controls and progressively refines the discretization during the iterations. Instead of using the exact discrete directional derivative, which is difficult to calculate, we use an approximate derivative of the cost functional defined by discretizing the continuous adjoint equation by the same Runge-Kutta scheme and the integral involved by Simpson's integration rule, both involving intermediate approximations. The main result is that accumulation points, if they exist, of sequences constructed by this method satisfy the weak necessary conditions for optimality for the continuous problem. Finally, numerical examples are given.     

On the discretization of singular systems

This note proposes two new discretization methods. The proposedsampled systems are described in terms of the Markov parametersof the system and therefore the proposed methods are easilyimplemented. The methodology we use is a zero-order hold discretizationfor the input and first-order approximation of its derivatives.     

Lipschitz Continuity of the Value Function in Optimal Control

For optimal control problems in with given target and free final time, we obtain a necessary and sufficient condition for local Lipschitz continuity of the optimal value as a function of the initial position. The target can be an arbitrary closed set, and the dynamics can depend in a measurable way on the time. As a limit case of this condition, we obtain a characterization of the viability property of the target, in terms of perpendiculars to the target instead of tangent cones. As an application, we analyze the convergence of certain discretization schemes for time-optimal problems.